首页> 外文OA文献 >Characterising Definable Search Problems in Bounded Arithmetic via Proof Notations

【2h】

Characterising Definable Search Problems in Bounded Arithmetic via Proof Notations

机译：通过证明符号表征有界算术中的可定义搜索问题

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Arnold Beckmann; Samuel R. Buss;
展开▼
作者单位

展开▼
年度 2009
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Classification of Search Problems and Their Definability in Bounded Arithmetic [J] . Tsuyoshi Morioka Electronic Colloquium on Computational Complexity . 2001,第3期

机译：有界算术中搜索问题的分类及其可定义性
2. Classification of Search Problems and Their Definability in Bounded Arithmetic [J] . Tsuyoshi Morioka Electronic Colloquium on Computational Complexity . 2001,第118期

机译：有界算术中搜索问题的分类及其可定义性
3. Feasible Operations on Proofs: The Logic of Proofs for Bounded Arithmetic [J] . Evan Goris Theory of computing systems . 2008,第2期

机译：证明的可行运算：有界算术的证明逻辑
4. A Characterisation of Definable NP Search Problems in Peano Arithmetic [C] . Arnold Beckmann Logic, language, information and computation . 2009

机译：Peano算法中可定义的NP搜索问题的特征
5. Logical approaches to the complexity of search problems: Proof complexity, quantified propositional calculus, and bounded arithmetic. [D] . Morioka, Tsuyoshi. 2005

机译：解决搜索问题复杂性的逻辑方法：证明复杂性，量化命题演算和有界算术。
6. Sharp bounds for a special quasi-arithmetic mean in terms of arithmetic and geometric means with two parameters [O] . Wei-Mao Qian, Yu-Ming Chu -1

机译：具有两个参数的算术和几何均值表示特殊拟算术均值的尖锐边界
7. Characterising definable search problems in bounded arithmetic via proof notations [O] . Beckmann, Arnold 2010

机译：通过证明符号表征有界算术中可定义的搜索问题
8. History of Arithmetic. Search for Traces of the Abacus System after This Method Had Taken the Name Algorithm. Proofs That During All Times Up Until the 16th Century, It Was Known That Common Arithmetic Originated in This Ancient Method [R] . Chasles, M. 1943

机译：算术史。在此方法采用名称算法后搜索算盘系统的痕迹。在16世纪以来的所有时间的证据，已知这种古老方法的共同算术

Characterising Definable Search Problems in Bounded Arithmetic via Proof Notations

著录项

引文网络

相似文献

相关主题

期刊订阅